/*************************************************************************
	> File Name: oj-518_knight_gets_gold.cpp
	> Author: Wang Bo
	> Mail: 1276106221@qq.com
	> Created Time: 2020年11月08日 星期日 19时32分44秒
 ************************************************************************/

#include <iostream>
using namespace std;

int days, sum, dcnt;

int main() {
    cin >> days;
    for (int i = 1; 1; ++i) {
        for (int j = 1; j <= i; ++j) {
            sum += i;
            dcnt++;
            if (dcnt == days) {
                break;
            }
        }
        if (dcnt == days) break;
    }
    cout << sum << endl;
    return 0;
}
